Correcting and Adapting

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Resocialization and Correcting Criminals in Iran’s Criminal Policy

Correcting criminals and making them back to the society is the ultimate goal of all criminal systems in the world. No country is willing to keep its citizens away from the society due to a crime they commit. One of the main concerns in criminal policy is resocialization of criminals who, after having been punished, have regretted their act and so-called repented and want to return to society b...

متن کامل

Correcting the “self-correcting” mythos of science

In standard characterizations, science is self-correcting. Scientists examine each other’s work skeptically, try to replicate important discoveries, and thereby expose latent errors. Thus, while science is tentative, it also seems to have a system for correcting whatever mistakes arise. It powerfully explains and justifies the authority of science. Self-correction thus often serves emblematical...

متن کامل

Adapting man adapting: curing, helping, consoling.

On the occasion of the one hundredth anniversary of Yale University School of Medicine, I was invited to deliver the Silliman Lectures that were published in 1965 under the title Man Adapting. The main theme of the lectures and of the book was that the states of health and disease are to a large extent the expressions of the success or failure of the adaptive responses made by the person to the...

متن کامل

Correcting Contradictions

This paper describes a manual investigation of the contradiction asymmetries of the SICK corpus, which is the intended testing set for a new system for natural language inference. Any system providing conceptual semantics for sentences, so that entailment-contradiction-neutrality relations between sentences can be identified, needs a baseline test set. The investigation of this test set, a part...

متن کامل

Detecing and Correcting Faulty Conjectures

We present a method for patching faulty conjectures and program diagnosis in automatic theorem proving during a proof attempt. In this paper we discuss correctness of the approach and we show the application of corrective predicates to program diagnosis when conjectures are unprovable. The approach is implemented in an interactive theorem prover called SPES.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Neuroscience

سال: 2006

ISSN: 0270-6474,1529-2401

DOI: 10.1523/jneurosci.1464-06.2006